61. Finsler and Lagrange Geometries :
پدیدآورنده : edited by M. Anastasiei, P.L. Antonelli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Geography.,Geology, Economic.,Global differential geometry.
رده :
QA689
.
E358
2003
62. First Leaves: A Tutorial Introduction to Maple V
پدیدآورنده : by Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, Stephen M. Watt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Mathematics.
63. Formal Engineering for Industrial Software Development :
پدیدآورنده : by Shaoying Liu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
D47
B974
2004
64. Formal Methods for Distributed System Development :
پدیدآورنده : PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
65. Formal methods and object technology
پدیدآورنده : S.J. Goldsack and S.J.H. Kent (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programación orientada al objeto (Informática)
رده :
QA76
.
64
S546
1996
66. Formal methods for protocol engineering and distributed systems :
پدیدآورنده : edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
رده :
QA76
.
9
.
F67
E358
1999
67. Formal software development methods / 2, Tutorials.
پدیدآورنده : VDM '91. S. Prehn ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
68. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
69. Formalization of Programming Concepts:
پدیدآورنده : J Diaz
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer science.,Software engineering.
رده :
QA76
.
6
J353
1981
70. Foundations of parallel programming /
پدیدآورنده : David Skillicorn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers),Parallelverarbeitung,Programmation parallele (informatique),Programmierung
رده :
QA76
.
58
.
S59
1994
71. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
72. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
73. Foundations of software science and computation structures
پدیدآورنده : Jerzy Tiuryn (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,System analysis, Congresses.
74. From Lambda Calculus to Cybersecurity Through Program Analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics; Optimization; Computer Communication Networks; Computer System Implementation; Theory of Computation; Software Engineering
75. Fully integrated data environments :
پدیدآورنده : Malcolm P. Atkinson, Ray Welland (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bases de données -- Gestion.,Computer programming.,Database management.
76. Fully integrated data environments :
پدیدآورنده : Malcolm P. Atkinson, Ray Welland (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bases de données -- Gestion.,Computer programming.,Database management.
رده :
QA76
.
9
.
D3
M353
2000
77. Functional Python programming :
پدیدآورنده : Steven F. Lott.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Python (Computer program language),Application software-- Development.,COMPUTERS-- Programming Languages-- Python.,Python (Computer program language)
رده :
QA76
.
73
.
P98
L688
2018
78. Functional programming for dummies /
پدیدآورنده : by John Paul Mueller.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Functional programming (Computer science), Handbooks, manuals, etc.,Software engineering, Handbooks, manuals, etc.,Functional programming (Computer science),Software engineering.
رده :
QA76
.
62
.
M84
2019
79. Fundamental approaches to software engineering :
پدیدآورنده : FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software Engineering,Software engineering -- Congresses.,Software engineering.
80. Fuzzy reasoning in information, decision, and control systems /
پدیدآورنده : edited by Spyros G. Tzafestas and Anastasios N. Venetsanopoulos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision support systems.,Fuzzy systems.,Process control.,Aufsatzsammlung,Decision support systems.,Decision support systems.,Expertensystem,Fuzzy systems.,Fuzzy systems.,Fuzzy-Logik,Neuronales Netz,Process control.,Process control.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
T58
.
62
.
F89
1994eb